- valid transitions
- Программирование: допустимые переходы, корректные переходы
Универсальный англо-русский словарь. Академик.ру. 2011.
valid transitions
Смотреть что такое "valid transitions" в других словарях:
Operational semantics — In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. Operational semantics are classified into two categories: structural operational semantics (or small step semantics)… … Wikipedia
Bisimulation — In theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice versa.Intuitively two systems are… … Wikipedia
Kermeta — is a modeling and programming language for metamodel engineering. History The Kermeta language was initiated by F.Fleurey in 2005 within the [http://www.irisa.fr/triskell Triskell] team of IRISA (gathering researchers of the INRIA, CNRS, INSA and … Wikipedia
Comparison of layout engines (Cascading Style Sheets) — Cascading Style Sheets CSS Animations Dynamic CSS Comparison of layout engines Comparison of stylesheet languages Internet Explorer box model bug CSS Zen Garden The Zen of CSS Design CSSTidy Style sheet Tableless web design Holy Grail (web… … Wikipedia
Ising model — The Ising model, named after the physicist Ernst Ising, is a mathematical model in statistical mechanics. It has since been used to model diverse phenomena in which bits of information, interacting in pairs, produce collectiveeffects.Definition… … Wikipedia
Firefly protocol — The Firefly cache coherence protocol is the schema used in the DEC Firefly multiprocessor workstation, developed by DEC Systems Research Center. This protocol uses a write through policy. States In this protocol, the following states can be… … Wikipedia
Photon — This article is about the elementary particle of light. For other uses, see Photon (disambiguation). Photon Photons emitted in a coherent beam from a laser Composition Elementary particle … Wikipedia
Active laser medium — The active laser medium or gain medium is the source of optical gain within a laser. The gain results from the stimulated emission of electronic or molecular transitions to a lower energy state from a higher energy statepreviously populated by a… … Wikipedia
Nicaraguan general election, 1984 — A general election was held in Nicaragua on 4 November 1984, to elect a president and parliament. Approximately 1.2 million Nicaraguans voted,[1] representing a 75% turnout, with 94% of eligible voters registered.[2] The elections were generally… … Wikipedia
Serial digital interface — (SDI) refers to a family of video interfaces standardized by SMPTE. [cite book | title = Digital Video and HDTV | author = Charles A. Poynton | publisher = Morgan Kaufmann | year = 2003 | isbn = 1558607927 | url = http://books.google.com/books?id … Wikipedia
RS-232 — This article is about the RS 232 standard. For RS 232 variants, see serial port. A 25 pin connector as described in the RS 232 standard In telecommunications, RS 232 (Recommended Standard 232) is the traditional name for a series of standards for … Wikipedia
